/* -*- C++ -*- */
interface Time
{
  // = TITLE
  //    Defines an interface that encapsulates operations that
  //    return the current time of day and shuts down the server.

  long current_time ();
  // Returns the current time of day on another machine.

  oneway void shutdown ();
  // Shutdown the application.
};
